<?php
$z[0]=Array("global","",67,92);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",165,180);
$z[2]=Array("title","",182,196);
$z[3]=Array("global","",228,253);
$z[3][4]['name']="autoindex";
$z[4]=Array("arcurl","",336,351);
$z[5]=Array("title","",353,367);
$z[6]=Array("global","",399,424);
$z[6][4]['name']="autoindex";
$z[7]=Array("arcurl","",535,550);
$z[8]=Array("title","",552,566);
$z[9]=Array("typeurl","",685,702);
$z[10]=Array("typename","",727,745);
$z[11]=Array("arcurl","",760,775);
$z[12]=Array("title","",777,791);

?>